Section: Partnerships and Cooperations

National Initiatives

We participate in the “Logic and Complexity” part of the GDR–IM (CNRS Research Group on Mathematical Computer Science), in the projects “Logic, Algebra and Computation” (mixing algebraic and logical systems) and “Geometry of Computation” (using geometrical and topological methods in computer science).

We are also involved in the GDR-GPL (CNRS Research Network on Software Engineering), as a member of the FORWAL group and member of the Scientific Board of the GDR.